# name: \begin{thm}...\end{thm}
# --
\begin{thm}[$1]
  \label{thm:${1:$(downcase (replace-regexp-in-string " " "_" text))}}
  $0
\end{thm}
